[IA64] more tlb flush when vcpu migration between pcpu.
authorawilliam@xenbuild.aw <awilliam@xenbuild.aw>
Wed, 5 Jul 2006 15:59:40 +0000 (09:59 -0600)
committerawilliam@xenbuild.aw <awilliam@xenbuild.aw>
Wed, 5 Jul 2006 15:59:40 +0000 (09:59 -0600)
commita372180d48feb86210bf5a59d15f92ab845756c3
tree648beb79152f9a7b97ce170339b76ec7d59b6199
parentb3b4baa6b847b944fed10ea160f1bf0385355966
[IA64] more tlb flush when vcpu migration between pcpu.

When vcpu is migrated to another pcpu and then it returns to the first
pcpu, VHPT and mTLB must also be flushed.

Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>
xen/arch/ia64/xen/domain.c
xen/include/asm-ia64/domain.h